home *** CD-ROM | disk | FTP | other *** search
/ Celestin Apprentice 7 / Apprentice-Release7.iso / Source Code / C / Applications / Moscow ML 1.42 / src / toolssrc / cutdeps.sml next >
Encoding:
Text File  |  1997-08-18  |  397 b   |  25 lines  |  [TEXT/R*ch]
  1. (* Compile with 
  2.     mosmlc -noheader -P full cutdeps.sml -o cutdeps
  3.  *)
  4.  
  5. local 
  6.     open BasicIO
  7. in
  8.  
  9. fun next () = 
  10.     if end_of_stream std_in then ()
  11.     else 
  12.     let open Substring
  13.         val line = input_line std_in
  14.     in 
  15.         output(std_out, line); 
  16.         if isEmpty (#2 (position "### DO NOT DELETE THIS LINE" (all line)))
  17.         then next()
  18.         else ()
  19.     end
  20.  
  21. val _ = (next (); flush_out std_out)
  22. end
  23.  
  24.  
  25.